match None with
| None x{caret} y -> ()
